Roberto Gorrieri : rechercher sur Z-Library

Aldini, Alessandro, Gorrieri, Roberto

Année:

1998

Langue:

english

Fichier:

PDF, 217 KB

english, 1998

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design VI Volume 6858 || Quantitative Information Flow and Applications to Differential Privacy

Année:

2011

Langue:

english

Fichier:

PDF, 366 KB

english, 2011

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design Volume 2171 || The Logic of Authentication Protocols

Focardi, Riccardo, Gorrieri, Roberto

Année:

2001

Langue:

english

Fichier:

PDF, 797 KB

english, 2001

Comparing the QoS of Internet audio mechanisms via formal methods

Aldini, Alessandro, Bernardo, Marco, Gorrieri, Roberto, Roccetti, Marco

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2001

Langue:

english

Fichier:

PDF, 250 KB

english, 2001

[Texts in Theoretical Computer Science. An EATCS Series] Introduction to Concurrency Theory ||

Gorrieri, Roberto, Versari, Cristian

Année:

2015

Langue:

english

Fichier:

PDF, 3.47 MB

english, 2015

[Monographs in Theoretical Computer Science. An EATCS Series] Process Algebras for Petri Nets ||

Gorrieri, Roberto

Année:

2017

Langue:

english

Fichier:

PDF, 3.05 MB

english, 2017

CCS(25,12) is Turing-complete

Gorrieri, Roberto, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Année:

2017

Langue:

english

Fichier:

PDF, 215 KB

english, 2017

A process-algebraic approach for the analysis of probabilistic noninterference1

Aldini, Alessandro, Bravetti, Mario, Gorrieri, Roberto

Journal:

Journal of Computer Security

Année:

2004

Fichier:

PDF, 484 KB

2004

On the implementation of concurrent calculi in net calculi: two case studies

Roberto Gorrieri, Ugo Montanari

Journal:

Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano

Année:

1995

Langue:

english

Fichier:

PDF, 3.79 MB

english, 1995

A theory of processes with durational actions

Journal:

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Année:

1995

Langue:

english

Fichier:

PDF, 1.48 MB

english, 1995

Combining Partitions in SecSpaces

Journal:

Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci

Année:

2004

Langue:

english

Fichier:

PDF, 223 KB

english, 2004

Towards Information Flow Properties for Distributed Systems

Journal:

Mario Bravetti, Roberto Gorrieri

Année:

2009

Langue:

english

Fichier:

PDF, 373 KB

english, 2009

Preface

Journal:

Nadia Busi, Roberto Gorrieri, Fabio Martinelli

Année:

2004

Langue:

english

Fichier:

PDF, 55 KB

english, 2004

Preface

Journal:

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Année:

2005

Langue:

english

Fichier:

PDF, 66 KB

english, 2005

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Journal:

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

Année:

2005

Langue:

english

Fichier:

PDF, 254 KB

english, 2005

A Formalization of Credit and Responsibility Within the GNDC Schema

Journal:

Roberto Gorrieri, Fabio Martinelli

Année:

2006

Langue:

english

Fichier:

PDF, 334 KB

english, 2006

Theoretical foundations of security analysis and design II

Journal:

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Année:

2005

Langue:

english

Fichier:

PDF, 115 KB

english, 2005

Quantitative information in the tuple space coordination model

Journal:

Roberto Gorrieri, Ulrich Herzog, Jane Hillston

Année:

2005

Langue:

english

Fichier:

PDF, 238 KB

english, 2005

Unified specification and performance evaluation using stochastic process algebras

Journal:

Performance Evaluation

Année:

2002

Langue:

english

Fichier:

PDF, 28 KB

english, 2002

Corrigendum to “A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time”: [Theoret. Comput. Sci. 202 (1998) 1–54]

Marco Bernardo, Roberto Gorrieri

Journal:

Mario Bravetti, Roberto Gorrieri

Année:

2001

Langue:

english

Fichier:

PDF, 75 KB

english, 2001

The theory of interactive generalized semi-Markov processes

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 260 KB

english, 2002

Editorial

Roberto Gorrieri

Journal:

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Année:

2002

Langue:

english

Fichier:

PDF, 37 KB

english, 2002

A comparison of three authentication properties

Journal:

Marco Bernardo, Roberto Gorrieri

Année:

2003

Langue:

english

Fichier:

PDF, 365 KB

english, 2003

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 3.79 MB

english, 1998

A process algebraic view of Linda coordination primitives

Journal:

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Année:

1998

Langue:

english

Fichier:

PDF, 2.17 MB

english, 1998

Foreword

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 31 KB

english, 1999

Comparing three semantics for Linda-like languages

Journal:

Roberto Lucchi, Mario Bravetti, Roberto Gorrieri

Année:

2000

Langue:

english

Fichier:

PDF, 258 KB

english, 2000

A formal approach for checking security properties in SecSpaces

Journal:

Mario Bravetti, Roberto Gorrieri

Année:

2003

Langue:

english

Fichier:

PDF, 927 KB

english, 2003

Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)

Journal:

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro

Année:

1999

Langue:

english

Fichier:

PDF, 471 KB

english, 1999

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 190 KB

english, 2003

On the Turing equivalence of Linda coordination primitives

Journal:

Marco Bernardo, Roberto Gorrieri, Marco Roccetti

Année:

1997

Langue:

english

Fichier:

PDF, 30 KB

english, 1997

Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet

Journal:

Formal Aspects of Computing

Année:

1998

Langue:

english

Fichier:

PDF, 166 KB

english, 1998

Performance preorder and competitive equivalence

Flavio Corradini, Roberto Gorrieri, Marco Roccetti

Journal:

Acta Informatica

Année:

1997

Langue:

english

Fichier:

PDF, 313 KB

english, 1997

Automated analysis of timed security: a case study on web privacy

Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

International Journal of Information Security

Année:

2004

Langue:

english

Fichier:

PDF, 359 KB

english, 2004

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

Journal:

Journal of Automated Reasoning

Année:

2008

Langue:

english

Fichier:

PDF, 776 KB

english, 2008

A2CCS: atomic actions for CCS

Roberto Gorrieri, Sergio Marchetti, Ugo Montanari

Journal:

Angelo Troina, Alessandro Aldini, Roberto Gorrieri

Année:

1990

Langue:

english

Fichier:

PDF, 2.29 MB

english, 1990

Approximating Imperfect Cryptography in a Formal Model

Journal:

Roberto Gorrieri, Fabio Martinelli

Année:

2004

Langue:

english

Fichier:

PDF, 284 KB

english, 2004

A simple framework for real-time cryptographic protocol analysis with compositional proof rules

Journal:

Science of Computer Programming

Année:

2004

Langue:

english

Fichier:

PDF, 377 KB

english, 2004

Techniques for Security Checking: Non-Interference vs Control Flow Analysis

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Journal:

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Année:

2002

Langue:

english

Fichier:

PDF, 208 KB

english, 2002

Formal Models of Timing Attacks on Web Privacy

Journal:

Degano, Pierpaolo, Gorrieri, Roberto, Marchetti-Spaccamela, Alberto

Année:

2002

Langue:

english

Fichier:

PDF, 192 KB

english, 2002

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1256 || Randomization and nondeterminism are comparable for ordered read-once branching programs

Année:

1997

Langue:

english

Fichier:

PDF, 562 KB

english, 1997

Comparing Syntactic and Semantic Action Refinement

Ursula Goltz, Roberto Gorrieri, Arend Rensink

Journal:

Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri

Année:

1996

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1996

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 1.45 MB

english, 1998

On the Expressiveness of Linda Coordination Primitives

Journal:

Arend Rensink, Roberto Gorrieri

Année:

2000

Langue:

english

Fichier:

PDF, 463 KB

english, 2000

Vertical Implementation

Journal: